fun ((())) -> ()